1701. Probability with R: an introduction with computer science applications
Author: Horgan, Jane M.
Library: Central Library and Documentation Center (Golestan)
Subject: ، Computer science -- Mathematics,، Probabilities,، R )Computer program language(
Classification :
QA
76
.
9
.
M35
H863
1702. Problems & Solutions in Scientific Computing
Author: \ Willi-Hans Steeb ... [et al.].
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Numerical analysis -- Computer programs -- Problems, exercises, etc,Science -- Mathematics -- Computer programs -- Problems, exercises, etc,آنالیز عددی -- برنامههای کامپیوتری -- مسائل، تمرینها و غیره ,علوم -- ریاضیات -- برنامههای کامپیوتری -- مسائل، تمرینها و غیره
Classification :
E-Book
,
1703. Problems & solutions in scientific computing
Author: / Willi-Hans Steeb ... [et al.]
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Numerical analysis--Computer programs--Problems, exercises, etc.,Science--Mathematics--Computer programs--Problems, exercises, etc.,C++ (Computer program language--Simulation methods,Java (Computer program language--Simulation methods
1704. Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
Author: sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Computer science - Mathematics - Congresses, Logic, Symbolic and mathematical - Congresses
Classification :
QA
76
.
9
.
M35
S94
1994
1705. Proceedings of
Author: ^bSymposium on mathematical foundations of computer science MFCS 90, 15 th, Banka Bystrica 1990
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Mathematical analysis- Foundations ► Computer science- Mathematics
Classification :
510
S989p
1706. Proceedings of the fifth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
1707. Proceedings of the 22nd International Meshing Roundtable
Author: / Josep Sarrate
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Engineering,Appl.Mathematics/Computational Methods of Engineering,Math Applications in Computer Science
1708. Proceedings of the sixth International Conference on Mathematics and Computing :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Congresses. ;
1709. Proceedings of the 19th annual IEEE Symposium on Logic in Computer Science, LICS 2004, Turku, Finland, 13-17 July 2004
Author: / Sponsored by IEEE Technical Committee on Mathematical Foundations of Computing with support from Academy of Finland...[et al.]
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science -- Mathematics -- Congresses,Logic, Symbolic and mathematical -- Congresses
Classification :
QA
76
.
9
.
M35
S94
2004
1710. Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
Author: sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
75
.
5
.
I38
2000
1711. Process Machine Interaction
Author: / edited by Berend Denkena, Ferdinand Hollmann
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering,Computer science,Engineering mathematics,Vibration,Machinery,Electronic books
Classification :
E-BOOK
1712. Process algebra with timing
Author: by J.C.M. Baeten, C.A. Middelburg.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Mathematics.,Discrete-time systems.,System design.
Classification :
QA76
.
9
.
S88
B953
2011
1713. Process algebra with timing
Author: / J.C.M. Baeten, C.A. Middelburg
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: System design,Discrete-time systems,Computer science -- Mathematics
Classification :
QA
76
.
9
.
S88B32
2002
1714. Programming for computations -- Python
Author: Svein Linge, Hans Petter Langtangen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Computer programming,Python (Computer program language), -- Mathematics,a03,a04,a05
Classification :
QA76
.
9
.
M35
2020
1715. Programming for computations -- Python :
Author: Svein Linge, Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
Classification :
QA76
.
9
.
M35
1716. Programming for computations -- Python: a gentle introduction to numerical simulations with Python 3.6
Author: / Svein Linge, Hans Petter Langtangen.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science -- Mathematics.,Computer programming.,Python (Computer program language),Computer program language.
1717. Progress in Industrial Mathematics at ECMI 2000
Author: edited by Angelo Marcello Anile, Vincenzo Capasso, Antonio Greco.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics.,Computer science.,Engineering.,Finance.,Mathematical physics.,Mathematics.
1718. Progress in applications of boolean functions /
Author: Tsutomu Sasao, Jon T. Butler [editors].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra, Boolean.,Cryptography-- Mathematics.,Data encryption (Computer science)-- Mathematics.,Data mining-- Mathematics.,Logic circuits-- Mathematics.,Algebra, Boolean.,Cryptography-- Mathematics.,MATHEMATICS-- Algebra-- General.
Classification :
QA10
.
3
1719. Proofs from THE BOOK
Author: by Martin Aigner, Günter M. Ziegler.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorics.,Computer science.,Geometry.,Global analysis (Mathematics).,Mathematics.,Number theory.
1720. Proofs from THE BOOK /
Author: by Martin Aigner, Günter M. Ziegler ; including illustrations by Karl H. Hofmann.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.,Analysis.,Combinatorics.,Geometry.,Graph Theory.,Mathematics of Computing.,Mathematics.,Number Theory.,Combinatorial analysis.,Computer science-- Mathematics.,Geometry.,Graph theory.,Mathematical analysis.,Mathematics.,Number theory.
Classification :
QA39
.
3
.
A36
2018eb
